TAGs: algebra unit solving systems